“동적 논리”으로 총 1건 검색

• 동적 논리, 動的論理, dynamic logic

  프로그램에서 데이터의 흐름을 명시된 순서에 의해 표현하는 것을 논리라고 할 때, 데이터의 흐름을 단 하나로 명시하는 것이 아니라 논리 자체를 매개 변수처럼 필요할 때마다 변형하여 적용할 수 있는, 논리 자체를 매개체로 사용하는 것.